[IA64] Fix PAL_CACHE_FLUSH to be vcpu-migration-safe
authorawilliam@xenbuild2.aw <awilliam@xenbuild2.aw>
Thu, 15 Mar 2007 15:00:42 +0000 (09:00 -0600)
committerawilliam@xenbuild2.aw <awilliam@xenbuild2.aw>
Thu, 15 Mar 2007 15:00:42 +0000 (09:00 -0600)
commit8581ea938ad6f7f1cadb9f1ce09146d480a922c8
tree3824a77ffcfec15c99b9ffab6f6edc25dacf9deb
parentcd49887acf4f7331bc16d6e5c5d3cd7ad86ab483
[IA64] Fix PAL_CACHE_FLUSH to be vcpu-migration-safe

A vcpu might migrate after ia64_pal_cache_flush() before cpu_clear().
It causes cache incoherency.

Signed-off-by: Kouya Shimura <kouya@jp.fujitsu.com>
xen/arch/ia64/xen/fw_emul.c